\todo{
THINGS TO DO!} \\
%\\
%\todoblue{Gigio:
%\\
%3) Section 4: Fix petri preliminaries\\
%4) Section 7: `Fix main theorem according to section 4}
%\\
%\todo{Cinzia:
%\\
%5) Section 6:  FIX}\\ \\
\todoblue{Mario:
\\
7) Read Section 2\\
8) Write a stub for sect 8.1, discussing (un)decidability of other properties (ie. saying how the machinery presented here can be adapted to handle other properties)}\\
%\todo{Senza padrone:\\
%9) Section 3: Add example of usage of properties\\
%11) Integrate content from FACS short paper into Sect 8.2}